#!/bin/bash
if [ "$(pwd)" != "$(realpath $(dirname $0))" ]
then
  echo Error: This script needs to be executed from within it\'s directory:
  echo $(realpath $(dirname $0))
  exit 1
fi
mkdir -p install/linux
cd install/linux
cmake -DCMAKE_INSTALL_PREFIX=$(pwd) -DBUILD_SHARED_LIBS ../..
make
make install

